A trivial program, one that simply prints “y” or a string that is given as an argument repeatedly, is explicated and examined at the levels of function and code. Although the program by itself is neither interesting or instructive, the argument is presented that by looking at “yes” it is possible to better understand how programs exist not only on platforms but also in an ecology of systems, scripts, and utilities
Abstract. Chaitin’s notion of program elegance, that is of the smallest program to satisfy some spec...
Programm i n g is a very difficult task. In order to improve our und e r standing we should try to s...
We present a new model of computation, described in terms of monoidal categories. It conforms the C...
What does it mean to understand a program? What sorts of questions can be answered about a program? ...
Many years ago an advertisement appeared frequently in popular magazines which displayed a photogra...
The basic knowledge of programming is not possible without the knowledge of its history. When you ar...
International audienceSoftware development usually involves a collection of properties, programs and...
This thesis presents a formal apparatus which is adequate both to express the termination and correc...
A programming language is viewed as a language for expressing “instructions” for a computation to be...
Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its b...
AbstractThe simplest nontrivial program pattern in logic programming is the following where fact, go...
The significant intellectual cost of programming is for problem solving and explaining and not for ...
The claim has often been made that passing the Turing Test would not be sufficient to prove that a c...
An esoteric programming language is a programming language designed to test the boundaries of comput...
One point made here is that formal constructive mathematics can be interpreted as a "high-level" pro...
Abstract. Chaitin’s notion of program elegance, that is of the smallest program to satisfy some spec...
Programm i n g is a very difficult task. In order to improve our und e r standing we should try to s...
We present a new model of computation, described in terms of monoidal categories. It conforms the C...
What does it mean to understand a program? What sorts of questions can be answered about a program? ...
Many years ago an advertisement appeared frequently in popular magazines which displayed a photogra...
The basic knowledge of programming is not possible without the knowledge of its history. When you ar...
International audienceSoftware development usually involves a collection of properties, programs and...
This thesis presents a formal apparatus which is adequate both to express the termination and correc...
A programming language is viewed as a language for expressing “instructions” for a computation to be...
Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its b...
AbstractThe simplest nontrivial program pattern in logic programming is the following where fact, go...
The significant intellectual cost of programming is for problem solving and explaining and not for ...
The claim has often been made that passing the Turing Test would not be sufficient to prove that a c...
An esoteric programming language is a programming language designed to test the boundaries of comput...
One point made here is that formal constructive mathematics can be interpreted as a "high-level" pro...
Abstract. Chaitin’s notion of program elegance, that is of the smallest program to satisfy some spec...
Programm i n g is a very difficult task. In order to improve our und e r standing we should try to s...
We present a new model of computation, described in terms of monoidal categories. It conforms the C...